1

Parc++: A parallel C++

Year:
1995
Language:
english
File:
PDF, 900 KB
english, 1995
3

A note on the number of distributive laws

Year:
1985
Language:
english
File:
PDF, 92 KB
english, 1985
4

Mathematik für Informatiker ||

Year:
2016
Language:
german
File:
PDF, 4.95 MB
german, 2016
5

An algorithm for verifying equations of morphisms in a category

Year:
1982
Language:
english
File:
PDF, 686 KB
english, 1982